int fred() { return 7; }